2. Abstraction refinement for large scale model checking
پدیدآورنده: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
3. Abstraction refinement for large scale model checking
پدیدآورنده: Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
5. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
6. Automation technology for management and productivity advancements through CAD/CAM and engineering data handling
پدیدآورنده: edited by Peter Cheng-Chao Wang
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: CAD/CAM systems- Congresses
رده :
TS
,
176
,.
S888
,
1981
8. Electrochemical energy
پدیدآورنده: / edited by Pei Kang Shen, Chao-Yang Wang, San Ping Jiang, Xueliang Sun, Jiujun Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Energy storage--Congresses
رده :
TK2980
.
I65
2013
9. Evaluation of drug candidates for preclinical development :
پدیدآورنده: [edited by] Chao Han, Charles B. Davis, Binghe Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Drug development.,Drugs-- Metabolism.,Pharmacokinetics.,Drug Discovery.,Drug Evaluation, Preclinical.,Drug Industry-- standards.,Pharmaceutical Preparations-- metabolism.,Pharmacology-- methods.,Drug development.,Drugs-- Metabolism.,MEDICAL-- Drug Guides.,MEDICAL-- Nursing-- Pharmacology.,MEDICAL-- Pharmacology.,MEDICAL-- Pharmacy.,Pharmacokinetics.
رده :
RM301
.
25
.
E93
2010
10. Fluctuation mechanism and control on system instantaneous availability
پدیدآورنده: Yi Yang, Yong-Li Yu, Li-Chao Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Maintainability (Engineering) -- Mathematical models.,Reliability (Engineering) -- Statistical methods.,Systems availability -- Mathematical models.
رده :
TA169
.
Y593
9999
11. Introduction to rational elasticity
پدیدآورنده: Wang, Chao-cheng, 1938-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Elasticity
رده :
QA
931
.
W28
12. Mathematical Principles of Mechanics and Electromagnetism
پدیدآورنده: by Chao-Cheng Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Science (General).
13. Mathematical. principles of mechanics and electromagnetism
پدیدآورنده: Wang, Chao-Cheng, 1938-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Mechanics, Analytic►Continuum mechanics►Electromagnetism►Gravitation
رده :
QA
805
.
W26
14. Modeling and Diagnostics of Polymer Electrolyte Fuel Cells
پدیدآورنده: / Yang Wang, Ugur Pasaogullari-Chao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC&ENGINEERING, ELECTRICAL
رده :
E-BOOK
15. Modeling and diagnostics of polymer electrolyte fuel cell
پدیدآورنده: / edited by Ugur Pasaogullari, Chao-Yang Wang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proton exchange membrane fuel cells
رده :
E-BOOK
16. Modeling and diagnostics of polymer electrolyte fuel cells
پدیدآورنده: / edited by Ugur Pasaogullari, Chao-Yang Wang
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Proton exchange membrane fuel cells - Mathematical models,Proton exchange membrane fuel cells - Testing
رده :
TK2933
.
P76
2010
17. Modeling and diagnostics of polymer electrolyte fuel cells /
پدیدآورنده: edited by Ugur Pasaogullari, Chao-Yang Wang
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proton exchange membrane fuel cells
رده :
TK2933
.
P76
M63
2010
20. Synthetic gene network : modeling, analysis, and robust design methods
پدیدآورنده: / Bor-Sen Chen, Yu-Chao Wang
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Gene Regulatory Networks,Genes, Synthetic,Genetic Engineering
رده :
QH430
.
C44
2014
